Spoilt for Choice: Full First-Order Hierarchical Decompositions
نویسنده
چکیده
Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-order decompositions constitute a large class of database constraints that can provide assistance to the database designer in identifying a suitable database schema. We establish a finite axiomatisation of full first-order decompositions that reflects best database design practice: an inference engine derives all potential candidates of a database schema, but the final choice remains with the database designer.
منابع مشابه
On Inferences of Full First-Order Hierarchical Decompositions
Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-order hierarchical decompositions constitute a large class of database constraints that can provide assistance to the database designer in identifying a suitable database schema. We establish finite axiomatisations of full first-ord...
متن کاملA Three-Level Mathematical Model for an r-interdiction Hierarchical Facilities Location Problem
In general, any system may be at risk in a case of losing the critical facilities by natural disasters or terrorist attacks. This paper focuses on identifying the critical facilities and planning to reduce the effect of this event. A three-level model is suggested in the form of a defender-attacker-defender. It is assumed that the facilities are hierarchical and capable of nesting. Also, the at...
متن کاملTesting Multidimensional and Hierarchical Model of School Motivation Questionnaire
Abstract Objective: One of the theories that motivation into a multi-objective model considers, Mayer's theory of personal investment. This theory is a useful framework for evaluating multi-dimensional and hierarchical nature of goal provides the motivation. The aim of this study is to investigate a multi-dimensional and hierarchical structure of achievement goal orientation. Methods: The popul...
متن کاملGraph equivalences and decompositions definable in Monadic Second-Order Logic. The case of Circle Graphs
Many graph properties and graph transformations can be formalized inMonadic Second-Order logic. This language is the extension of First-Order logic allowing variables denoting sets of elements. In the case of graphs, these elements can be vertices, and in some cases edges. Monadic second-order graph properties can be checked in linear time on the class of graphs of tree-width at most k for any ...
متن کاملAlgebraic hierarchical decomposition of finite state automata : a computational approach
The theory of algebraic hierarchical decomposition of finite state automata is an important and well developed branch of theoretical computer science (Krohn-Rhodes Theory). Beyond this it gives a general model for some important aspects of our cognitive capabilities and also provides possible means for constructing artificial cognitive systems: a Krohn-Rhodes decomposition may serve as a formal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009